IVK - mutex lock @ [92319+30+/linux-3.19-rc1/drivers/usb/host/u132-hcd.c]

Instance Verification Kit (IVK)

mutex lock @ [92319+30+/linux-3.19-rc1/drivers/usb/host/u132-hcd.c]

Instance Signature: u132_module_lock

The Matching Pair Graph:

Function Name	Control Flow Graph (CFG)	Events Flow Graph (EFG)	Source Correspondence
u132_hcd_exit			[92256+13+/linux-3.19-rc1/drivers/usb/host/u132-hcd.c]